Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
251	Efficient Specialisation in Prolog Using a Hand-Written Compiler Generator Michael Leuschel and Jesper Jørgensen Declarative Systems and Software Engineering Group Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:03 Programming paradigms Programming language implementation Functional languages Evaluation strategy Partial evaluation Type system Compiler Prolog Logic programming XPL Interpreter Generic programming
252	Aachen Department of Computer Science Technical Report Symbolic Evaluation Graphs and Term Rewriting — Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2012-09-07 15:06:52 Logic in computer science Logic programming Automated theorem proving Formal languages Type theory Substitution Unification Admissible rule Futures and promises Rewrite order Rewriting Symbol
253	02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013 Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2013-10-21 08:25:00 Lambda calculus Combinatory logic Lambda calculus definition Reduction strategy Free variables and bound variables Lambda Fixed-point combinator Anonymous function Term Variable Beta normal form
254	Robin Milner and Mathematics Glynn Winskel 1. Background, Robin’s intellectual position(s) 2. Robin’s attitude, contributions and potential contributions to Mathematics 3. Robin’s ideas and concurrent strategies Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:07 Theoretical computer science Logic in computer science Category theory Formal methods Bisimulation Functional programming Coinduction Denotational semantics F-coalgebra Robin Milner Type theory Weak equivalence
255	An Essence of SSReflect Iain Whiteside, David Aspinall, and Gudmund Grov CISA, School of Informatics University of Edinburgh Edinburgh EH8 9AB, Scotland Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-01-09 06:40:19 Proof theory Deductive reasoning Logic programming Soundness
256	Library for Model Querying – lQuery Renārs Liepiņš Institute of Mathematics and Computer Science University of Latvia, Raina boulevard 29 Riga, LV-1459, Latvia Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:12 Object-oriented programming languages Abstract data types Data types Functional programming Object Combinatory logic Objective-C Associative array Self Object-oriented programming Iterator First-class function
257	Linköping Studies in Science and Technology Thesis NoMeta-Languages and Semantics for Equation-Based Modeling and Simulation Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2010-12-16 12:22:51 Object-oriented programming Simulation software Logic in computer science Modelica Scientific modeling Modeling language Operational semantics Semantics Domain-specific language OpenModelica Wolfram SystemModeler
258	The 2006 Federated Logic Conference The Seattle Sheraton Hotel and Towers Seattle, Washington August, 2006 IJCAR Workshop Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-07-11 15:25:07 Functional languages Lisp Automated theorem proving Theoretical computer science Procedural programming languages ACL2 Nqthm J Strother Moore ACL Common Lisp Formal methods Automated reasoning
259	Verification from Declarative Specifications Using Logic Programming Marco Montali1 , Paolo Torroni1 , Marco Alberti2 , Federico Chesani1 , Marco Gavanelli2 , Evelina Lamma2 , and Paola Mello1 1 Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:06:58 Programming paradigms Abductive logic programming Linear temporal logic Model checking Formal verification NuSMV Constraint programming Temporal logic Declarative programming Prolog Logic programming Entityrelationship model
260	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Conjecture Synthesis for Inductive Theories Moa Johansson · Lucas Dixon · Alan Bundy Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-03-21 07:54:00 Mathematical optimization Constraint programming Logical consequence Statements Theorem Constraint Constraint logic programming Constraint satisfaction